home *** CD-ROM | disk | FTP | other *** search
/ NetNews Offline 2 / NetNews Offline Volume 2.iso / news / comp / lang / modula2 / 17 < prev    next >
Encoding:
Internet Message Format  |  1996-08-06  |  1.6 KB
  1. Path: news.informatik.uni-kiel.de!not-for-mail
  2. From: rb@informatik.uni-kiel.d400.de (Ralf Behnke)
  3. Newsgroups: comp.lang.modula2
  4. Subject: Re: Debugging Mocka programs
  5. Date: 5 Jan 1996 10:23:22 +0100
  6. Organization: Dept. of Computer Science, University of Kiel, FRG
  7. Distribution: ifi
  8. Message-ID: <4ciqma$mm9@floyd.informatik.uni-kiel.de>
  9. References: <30D176E2.7C90@fernuni-hagen.de> <DJwHp8.3ID@cocolab.sub.com>
  10. NNTP-Posting-Host: floyd.informatik.uni-kiel.de
  11.  
  12. In <DJwHp8.3ID@cocolab.sub.com> grosch@cocolab.sub.com (Josef Grosch) writes:
  13.  
  14. >In article <30D176E2.7C90@fernuni-hagen.de> you wrote:
  15. >: we use the Mocka Modula-2 compiler in an advance
  16. >: software laboratory course and wonder how
  17. >: to debug the programs...gdb seems not to
  18. >: understand the code.
  19.  
  20. >Hi,
  21.  
  22. >I debug MOCKA programs successfully with gdb. Sometimes it is a bit tedious,
  23. >but it helps a lot. All the information is in the file
  24. >doc/README-MOCKA-DEBUGGING of the MOCKA distribution.
  25.  
  26. It seems that it depends on the version of the compiler and the operating
  27. system:
  28.  
  29. On Solaris I am not able to debug MOCKA-programs: gdb is not able to read
  30. the symbols from the executable.
  31.  
  32. On Linux it is different: 
  33.  
  34. using a very old linux system I was able to debug the programs
  35. on a newer system gdb can read the symbols, but "info functions" 
  36. ends with a segmentation fault.
  37.  
  38. BTW: Does somebody know the reason for this latter behaviour? Is 
  39. this a problem of gdb or of the MOCKA-System?
  40.  
  41. Best regards
  42.  
  43. Ralf Behnke
  44. -- 
  45. | Ralf Behnke, Institut fuer Informatik, Universitaet Kiel     |
  46. | rb@informatik.uni-kiel.d400.de   Tel.: ++49-431-560489       |
  47. | WWW: http://www.informatik.uni-kiel.de/~rb                   |
  48.